Fix travis.sh once and for all
Apparently not
Merge pull request #1277 from bartvm/travis

Fix travis.sh once and for all