Travis-ci tweaks