Repair Travis CI build