Tweaking .travis.yml, in progress