diff --git a/JOJ3 b/JOJ3
index 1bb0ddd..7ce4d29 160000
--- a/JOJ3
+++ b/JOJ3
@@ -1 +1 @@
-Subproject commit 1bb0ddd253092895405d02e66ff089743735c941
+Subproject commit 7ce4d29d0e371d24b8f8c63290ae7f6f04279eda
diff --git a/Makefile b/Makefile
index 31e3ea5..0ecc856 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ all: build
 build:
 	git submodule update --init --remote
 	$(MAKE) -C JOJ3
-	cp JOJ3/build/* bin/
+	cp JOJ3/build/joj3 bin/
 	docker build -t focs.ji.sjtu.edu.cn:5000/gitea/runner-images:focs-ubuntu-latest-slim .
 
 push: