Tweak the travis config.