Tweaks to .travis.yml