more travis ci tweaks