more travis.yml tweaks