Fix to avoid killing prover if it timeouts on its own