Fix in .travis-ci.sh