diff --git a/collects/mzlib/info.ss b/collects/mzlib/info.ss
index edefefd..d010c91 100644
--- a/collects/mzlib/info.ss
+++ b/collects/mzlib/info.ss
@@ -15,7 +15,7 @@
       [(name) "MzLib"]
       [(compile-prefix) '(begin
 			   (require-library "refer.ss")
-			   (require-library "mzlibs.ss"))]
+			   (require-library "mzlibflats.ss"))]
       [(compile-omit-files) (append elaboration-time-files
 				    (list "refer.ss" "letplsrc.ss"))]
       [(compile-elaboration-zos) elaboration-time-files]