Replace autogenerated files (again)