libstdc++ and libc++ are different libraries; this post is talking about libstdc++. They're like elephants and elephant seals.