diff --git a/collects/lang/plt-mred.ss b/collects/lang/plt-mred.ss
deleted file mode 100644
index 1658d637e0..0000000000
--- a/collects/lang/plt-mred.ss
+++ /dev/null
@@ -1,12 +0,0 @@
-(module plt-mred mzscheme
-  (require mred
-           mzlib/class)
-
-  (define argv (current-command-line-arguments))
-  (define program (find-system-path 'exec-file))
-  
-  (provide argv 
-           program
-           (all-from mzscheme)
-           (all-from mzlib/class)
-	   (all-from mred)))
diff --git a/collects/lang/plt-mzscheme.ss b/collects/lang/plt-mzscheme.ss
deleted file mode 100644
index c3f7c3bf87..0000000000
--- a/collects/lang/plt-mzscheme.ss
+++ /dev/null
@@ -1,6 +0,0 @@
-(module plt-mzscheme mzscheme
-  (define argv (current-command-line-arguments))
-  (define program (find-system-path 'exec-file))
-  (provide argv 
-           program
-           (all-from mzscheme)))