Fixes to config/travis_run.sh