On Sun, Nov 20, 2011 at 08:10, Basile Starynkevitch <basile@starynkevitch.net> wrote: > I'm not sure the question belongs to gcc@gcc.gnu.org, perhaps gcc-help@gcc.gnu.org might > be a better place. gcc@ is the right forum for this question. Diego.