Fixes to config/travis_setup.sh