Add a note to documentation that Clang + libstdc++ 4.7.2 can not be used to build...