Use libstdc++ instead of libc++