travis ci tweaks yet again