Tweak the travis script