Travis CI script fix