diff --git a/Dockerfile b/Dockerfile
index d3f2c5e080d7f95bacea72c14ac79fa7a1d759c2..52fc64f8b7e12ebe586c1ae4647dd15862b67650 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -53,7 +53,7 @@ RUN chown user:user -R /ttc18
 USER user
 
 RUN echo "glpkPath = /usr/lib/x86_64-linux-gnu/jni" > gradle.properties
-RUN sed -i '/jastadd-mquat-solver-emfer/d' settings.gradle
+#RUN sed -i '/jastadd-mquat-solver-emfer/d' settings.gradle
 #RUN sed -i '/jastadd-mquat-solver-emfer/d' jastadd-mquat-benchmark/build.gradle
 #RUN sed -i '/EMFeRSolver/d' jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/SolverFactory.java
 RUN echo "test.enabled = false" > ./jastadd-mquat-solver-emfer/build.gradle