Fix Travis CI script