make batch_proof BATCH_SIZE=1 BATCH_NUMBER=0 failed

[alexzhenyu]

Error details:
[ERROR] ../cairo-verifier-utils/target/debug/sandstorm_parser prover/build/batch_proofs/batch_0/batch_proof.bin prover/build/batch_proofs/batch_0/air-public-input.json prover/build/prove_batch_compiled.json prover/build/batch_proofs/batch_0/parsed_proof.json proof failed with return code True

It seems that we are missing the executable file. Where can I obtain this file or the source code?