Fix proofs build.