diff --git a/run_mint3.sh b/run_mint3.sh
index 8b2fda639..5f0fe3ffd 100755
--- a/run_mint3.sh
+++ b/run_mint3.sh
@@ -1,6 +1,6 @@
 #!/bin/bash -x
-python scripts/preprocess.py proofs/mint2.psm > /tmp/mint2.psm || exit $?
-#python scripts/preprocess.py proofs/jubjub.pism > /tmp/mint2.psm || exit $?
+#python scripts/preprocess.py proofs/mint2.psm > /tmp/mint2.psm || exit $?
+python scripts/preprocess.py proofs/jubjub.pism > /tmp/mint2.psm || exit $?
 python scripts/vm.py --supervisor /tmp/mint2.psm --output mint.zcd || exit $?
 cargo run --release --bin mint3