point to correct proofgeneral commit