hopefully patched up travis.sh