diff --git a/build.sh b/build.sh
index c9a1159..ab2ab6d 100755
--- a/build.sh
+++ b/build.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
 set -euxo pipefail
 
-../MMT/deploy/run-file build.msl
-#java -Xmx8192m -cp "../MMT/deploy/mmt.jar" info.kwarc.mmt.api.frontend.Run :file build.msl
+#../MMT/deploy/run-file build.msl
+java -Xmx8192m -cp "../MMT/deploy/mmt.jar" info.kwarc.mmt.api.frontend.Run :file build.msl