generated headers no longer belong in the repo