On Sun, Jan 27, 2013 at 7:09 AM, Steven Bosscher <stevenb.gcc@gmail.com> wrote: > Is this a known issue? No, thanks for the report. I'll try to see what's going on (though you may need to ping me in a few days). Diego.