travis-ci tweaks^2