* run-travis.sh: fix repository path