#14: factored out travis_setup.sh