On 29 October 2011 19:37, Dimitrios Apostolou wrote: > On Sat, 29 Oct 2011, Jonathan Wakely wrote: >> >> I'll have to look into this further tomorrow to see if it's a G++ >> problem or something we need to work around in the library. >> > > Thanks, I appreciate it :-) Let's continue this thread on the libstdc++ list instead - it's a problem we'll have to fix.