diff --git a/collects/mzlib/info.ss b/collects/mzlib/info.ss
index a143247..793e937 100644
--- a/collects/mzlib/info.ss
+++ b/collects/mzlib/info.ss
@@ -1,21 +1,4 @@
 
-(let ([elaboration-time-files
-       (list "awk.ss" "compatm.ss" "defstru.ss" 
-	     "macro.ss" "match.ss" "classd.ss"
-	     "shared.ss" "restarts.ss" "cmdlinem.ss"
-	     "spidey.ss" "synrule.ss" "trace.ss"
-	     "cmdlines.ss" "dates.ss" "strings.ss"
-	     "compats.ss" "files.ss" "threads.ss" "transcrs.ss"
-	     "compiles.ss" "functios.ss" "pconvers.ss"
-	     "inflates.ss" "deflates.ss" "prettys.ss" "maths.ss"
-	     "cores.ss" "coreflats.ss" "invoke.ss"
-	     "mzlibs.ss" "mzlibflats.ss")])
-  (lambda (request failure)
-    (case request
-      [(name) "MzLib"]
-      [(compile-prefix) '(begin
-			   (require-library "mzlibflats.ss"))]
-      [(compile-omit-files) (append elaboration-time-files
-				    (list "make-object-kwd.ss" "refer.ss" "letplsrc.ss"))]
-      [(compile-elaboration-zos) elaboration-time-files]
-      [else (failure)])))
+(module info (lib "infotab.ss" "setup")
+  (define name "MzLib"))
+