* travis-ci.sh: fix