adding makefile patch for prover9, this should work