Tweaking .travis.yml yet again