get compiler proofs building again