Use libcpp (Dinkum) instead of libstdc++ (GNU)