Repair travis.yml