Fix libstdcxx to python3