Further travis ci tweaking