Add fixes for libstdc++