>The following patch should fix this, ok to commit? Yes, thank you. Isn't this libstdc++/14697? If so, this should be put onto the 3-4_branch as well. best, -benjamin