#1 travis-ci tweaks