Tweak the travis scripts