Changes to Travis CI script