Add comment about libstdc++ discussion on this very thing.