Correction: the environment is Linux/Pentium, not Linux/PPC. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3398&database=gcc