Tweak travis file