[Fwd: Re: Compilation failure on RedHat 8.0/gcc 3.2.]