tweaks to travis.yml