Move to module, since we can't edit a generated file.