travis-ci tweaks