Fix building with gcc/libstdc++.