diff --git a/deploy/run-file b/deploy/run-file
index 4efe22e31..abb96e240 100644
--- a/deploy/run-file
+++ b/deploy/run-file
@@ -3,4 +3,4 @@
 # This is like run except that it automatically loads an msl file passed as an argument.
 # You may want to associate the msl file ending with this script.
 dir="$(dirname $0)"
-java -Xmx8192m -cp "$dir/lib/*:$dir/mmt.jar" info.kwarc.mmt.api.frontend.Run :file $1
+java -Xmx8192m -cp "$dir/mmt.jar" info.kwarc.mmt.api.frontend.Run :file $1