Fix the build with clang and libstdc++4.7.