In my bug report about a gcc internal error, I gave a wrong version number for gcc. In fact it is: # gcc --version gcc (GCC) 3.3.3 (Debian 20040429) -- Olivier Lecarme