* travis-ci.sh: misc