tobiaskley Changes to the Travis CI configuration to fix a failing build.