new ones that we generate. We used to always mix the old header with the new .cc file. This worked because Cygnus's yacc is surprisingly compatible with our yacc.