get compiler proofs building