diff --git a/src/mmt-odk/src/info/kwarc/mmt/odk/ODKTest.scala b/src/mmt-odk/src/info/kwarc/mmt/odk/ODKTest.scala
index 24e9e44405..c8d99f923f 100644
--- a/src/mmt-odk/src/info/kwarc/mmt/odk/ODKTest.scala
+++ b/src/mmt-odk/src/info/kwarc/mmt/odk/ODKTest.scala
@@ -64,11 +64,11 @@ object LATIN2Test extends MMTIntegrationTest(
   ExtensionSpec("info.kwarc.mmt.odk.Plugin")
 ){
   def main(): Unit = {
-    shouldClearTarget("MMT/urtheories", "bin")
-    shouldHandleLine("build MMT/urtheories scala-bin")
+    //shouldClearTarget("MMT/urtheories", "bin")
+    //shouldHandleLine("build MMT/urtheories scala-bin")
 
-    shouldClearTarget("MMT/LFX", "bin")
-    shouldHandleLine("build MMT/LFX scala-bin")
+    //shouldClearTarget("MMT/LFX", "bin")
+    //shouldHandleLine("build MMT/LFX scala-bin")
 
     shouldClearTarget("MMT/LATIN2", "bin")
     shouldHandleLine("build MMT/LATIN2 scala-bin")