travis-ci tweaks+