travis-ci tweaks
#1 travis-ci tweaks