[v3] fix libstdc++/44647

[Jonathan Wakely]

On 5 October 2010 10:42, Paolo Carlini wrote:
> ... went ahead, and just committed the below. Tested x86_64-linux.

Thanks Paolo - I'm still recovering from my hard drive failure  :-\