travis ci tweaks yet again, again