* run-travis.sh: update