MathSAT 5.2.7 fixes libc++ linking error