Add comment about LLVM libc++ MathSAT binaries concerning g++.