Further tweaks to .travis.yml