diff --git a/collects/mztake/debugger-language-interface.ss b/collects/lang/debugger-language-interface.ss
similarity index 100%
rename from collects/mztake/debugger-language-interface.ss
rename to collects/lang/debugger-language-interface.ss
diff --git a/collects/lang/htdp-langs.ss b/collects/lang/htdp-langs.ss
index 0cd769aa91..0acdd68c0f 100644
--- a/collects/lang/htdp-langs.ss
+++ b/collects/lang/htdp-langs.ss
@@ -33,8 +33,8 @@
            ;; and the user's namespace in the teaching languages
            "private/set-result.ss"
            
-           (lib "stepper-language-interface.ss" "stepper")
-           (lib "debugger-language-interface.ss" "mztake"))
+           "stepper-language-interface.ss"
+           "debugger-language-interface.ss")
   
   (provide tool@)
   
diff --git a/collects/stepper/stepper-language-interface.ss b/collects/lang/stepper-language-interface.ss
similarity index 100%
rename from collects/stepper/stepper-language-interface.ss
rename to collects/lang/stepper-language-interface.ss
diff --git a/collects/mztake/debug-tool.ss b/collects/mztake/debug-tool.ss
index 7ce18f0700..fb88ef26a2 100644
--- a/collects/mztake/debug-tool.ss
+++ b/collects/mztake/debug-tool.ss
@@ -17,7 +17,7 @@
            "load-sandbox.ss"
            (lib "framework.ss" "framework")
            (lib "string-constant.ss" "string-constants")
-           "debugger-language-interface.ss")
+           (lib "debugger-language-interface.ss" "lang"))
   
   (provide tool@)
   
diff --git a/collects/stepper/stepper-tool.ss b/collects/stepper/stepper-tool.ss
index db5724aed9..51fc409481 100644
--- a/collects/stepper/stepper-tool.ss
+++ b/collects/stepper/stepper-tool.ss
@@ -15,7 +15,7 @@
            (prefix x: "private/mred-extensions.ss")
            "private/shared.ss"
            "private/model-settings.ss"
-           "stepper-language-interface.ss"
+           (lib "stepper-language-interface.ss" "lang")
            "xml-sig.ss")
 
   (provide stepper-tool@