Tweak the travis script again