Repair Travis config.