Ok, the last bug fix was not good enough to fix libstdc++. Maybe this one will be