Fix in .travis-ci.sh (bis)