tweak travis files