Tweak travis setting