Fix libstdc++