Tweak travis to be less annoying.