Tweak travis ci config