Adapted .travis.yml to hopefully fix the Travis CI build