[Patch] Fix libstdc++/12232

[Benjamin Kosnik]

Paolo, sorry about the delay. This patch looks good: I was thinking of
DR 136, which isn't applicable.

thanks!

-benjamin