Mark, Just a confirmation that now it works fine (latest snapshot from anon cvs). Thanks, Sergei. Mark Mitchell <mark@codesourcery.com> writes: > Sergei -- > > Thanks for your bug report. Fixed with this patch. > > -- > Mark Mitchell mark@codesourcery.com > CodeSourcery, LLC http://www.codesourcery.com > [...]