Tweak travis script