* test/run-travis.sh: fix travis script