tweak travis some more