Tweak travis setup