repairing travis-ci