Mention MathSAT5 linking error on OS X with clang++