diff --git a/pkgs/compatibility-pkgs/compatibility-doc/mzlib/scribblings/compile.scrbl b/pkgs/compatibility-pkgs/compatibility-doc/mzlib/scribblings/compile.scrbl
index 572ba31..0bc69bb 100644
--- a/pkgs/compatibility-pkgs/compatibility-doc/mzlib/scribblings/compile.scrbl
+++ b/pkgs/compatibility-pkgs/compatibility-doc/mzlib/scribblings/compile.scrbl
@@ -1,34 +1,7 @@
 #lang scribble/doc
 @(require "common.rkt"
-          (for-label mzlib/compile
-                     compiler/compiler
-                     compiler/cm))
+          (for-label compiler/compile-file))
 
 @mzlib[#:mode title compile]
 
-@defproc[(compile-file [src path-string?]
-                       [dest path-string? (let-values ([(base name dir?) (split-path src)])
-                                            (build-path base "compiled"
-                                                        (path-add-suffix name #".zo")))]
-                       [filter (any/c . -> . any/c) values])
-         path?]{
-
-Compiles the Scheme file @racket[src] and saves the compiled code to
-@racket[dest].  If @racket[dest] is not provided and the
-@filepath{compiled} subdirectory does not already exist, the
-subdirectory is created. The result of @racket[compile-file] is the
-destination file's path.
-
-If the @racket[filter] procedure is provided, it is applied to each
-source expression, and the result is compiled. 
-
-The @racket[compile-file] procedure is designed for compiling modules
-files, in that each expression in @racket[src] is compiled
-independently. If @racket[src] does not contain a single
-@racket[module] expression, then earlier expressions can affect the
-compilation of later expressions when @racket[src] is loaded
-directly. An appropriate @racket[filter] can make compilation behave
-like evaluation, but the problem is also solved (as much as possible)
-by the @racket[compile-zos] procedure.
-
-See also @racket[managed-compile-zo].}
+Re-exports @racket[compile-file] from @racketmodname[compiler/compile-file].
diff --git a/pkgs/compatibility-pkgs/compatibility-lib/mzlib/compile.rkt b/pkgs/compatibility-pkgs/compatibility-lib/mzlib/compile.rkt
new file mode 100644
index 0000000..af29dcc
--- /dev/null
+++ b/pkgs/compatibility-pkgs/compatibility-lib/mzlib/compile.rkt
@@ -0,0 +1,4 @@
+#lang racket/base
+(require compiler/compile-file)
+
+(provide compile-file)