diff --git a/Dockerfile b/Dockerfile
index 62b2e7d..df434db 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,8 +1,6 @@
 FROM coqorg/coq:8.17.1
-
+COPY artifact-clean.zip artifact-clean.zip
 RUN eval $(opam env "--switch=${COMPILER}" --set-switch)
 RUN opam update -y
-RUN cd artifact-clean
-RUN opam install -y -j "${NJOBS}" ./coq-elpi
-RUN cd ..
-RUN opam install -y -j "${NJOBS}" .
+RUN unzip artifact-clean.zip
+RUN cd artifact-clean && make
\ No newline at end of file
diff --git a/artifact-clean/Makefile b/artifact-clean/Makefile
index 9ea3227..428c2a7 100644
--- a/artifact-clean/Makefile
+++ b/artifact-clean/Makefile
@@ -1,8 +1,8 @@
 .PHONY: all
 
 all:
-	opam install ./coq-elpi
-	opam install ./trocq
+	opam install -y ./coq-elpi
+	opam install -y ./trocq
 
 clean:
 	opam uninstall coq-elpi coq-trocq
\ No newline at end of file