tweaks to .travis.yml"