More travis-ci tweaks