Tweak travis settings