> We already add generated files via sysdep_headers. The only thing that > may break is make dist, but we don't support that any longer anyway. Ok, then your change is fine.