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.
PR: 4290 Submitted by: "Anatoly A. Orehovsky" <tolik@www.tomsk.su>