Re: gcc42 fails to build with texinfo 4.11