Tweak travis scripts