Benjamin Kosnik wrote: >> I recommend Ben's patch. > > Me too. Mark, I wait for your ok. OK, please apply, and let me know when done. Thanks, -- Mark Mitchell CodeSourcery mark@codesourcery.com (650) 331-3385 x713