Fix build with broken libstdc++