prover9 is failing to build, apparently because we have to link it against libm, which I dont know how to do.