diff --git a/arithmetization/Makefile b/arithmetization/Makefile
index dadb7c4dd9..e931653dee 100644
--- a/arithmetization/Makefile
+++ b/arithmetization/Makefile
@@ -14,10 +14,12 @@ GO_CORSET_REPO ?= https://github.com/consensys/go-corset.git
 GO_CORSET_REF_FOR_ZKC ?=
 
 # Used to install go-corset
-GO_CORSET_VERSION ?= v1.2.15
+GO_CORSET_VERSION ?= v1.2.17
 
 ZKC_FILES := $(shell find $(MAKEFILE_DIR)src/main/riscv/* -name "*.zkc")
 ZKC_MAIN := $(MAKEFILE_DIR)src/main/riscv/main.zkc
+ZKC_BINDIR := $(MAKEFILE_DIR)bin
+ZKC_BINARY := riscv.bin
 
 .PHONY: checkout-go-corset install-go-corset install-zkc zkc-compile check
 
@@ -41,7 +43,8 @@ install-zkc: checkout-go-corset
 
 # Compile the main RISC-V ZKC program.
 zkc-compile: $(ZKC_FILES)
-	zkc compile --wir $(ZKC_MAIN) >/dev/null
+	mkdir -p $(ZKC_BINDIR)
+	zkc compile -o $(ZKC_BINDIR)/$(ZKC_BINARY) --wir $(ZKC_MAIN)
 
 zkc-lint:
 	zkc format --check $(ZKC_FILES)