tweak travis script