diff --git a/collects/mztake/debugger-annotate.ss b/collects/mztake/debugger-annotate.ss
index 060fdeb9a5..c49537faa6 100644
--- a/collects/mztake/debugger-annotate.ss
+++ b/collects/mztake/debugger-annotate.ss
@@ -1,9 +1,7 @@
 (module debugger-annotate mzscheme
   
   (require (prefix kernel: (lib "kerncase.ss" "syntax"))
-           (lib "shared.ss" "stepper" "private")
-           (lib "marks.ss" "stepper" "private")
-           (lib "contract.ss"))
+           (lib "marks.ss" "stepper" "private"))
   
 ;;  (define count 0)
   
diff --git a/collects/mztake/debugger-model.ss b/collects/mztake/debugger-model.ss
index 9784c744f5..2c3160ed49 100644
--- a/collects/mztake/debugger-model.ss
+++ b/collects/mztake/debugger-model.ss
@@ -1,7 +1,7 @@
 (module debugger-model mzscheme
   (require (lib "unit.ss")
            (lib "mred.ss" "mred")
-           (lib "marks.ss" "stepper/private")
+           (lib "marks.ss" "stepper" "private")
            "debugger-annotate.ss"
            "mztake-structs.ss"
            "private/load-annotator.ss"
diff --git a/collects/mztake/mztake.ss b/collects/mztake/mztake.ss
index 87b511b20d..89104bc388 100644
--- a/collects/mztake/mztake.ss
+++ b/collects/mztake/mztake.ss
@@ -77,7 +77,7 @@ TESTING/CAPABILITIES------------------------------------------------------------
   (require (lib "match.ss")
            (lib "unit.ss")
            (lib "contract.ss")
-           (lib "marks.ss" "stepper/private")
+           (lib "marks.ss" "stepper" "private")
            (prefix frp: (lib "frp.ss" "frtime"))
            "private/useful-code.ss"
            "private/more-useful-code.ss" ; mostly for hash- bindings