Fix execution of .travis.sh, hopefully.