tweak travis file