Specify the name of the generated header only once. NFC.
This will also simplify a private patch that we have.