diff --git a/collects/planet/resolver.rkt b/collects/planet/resolver.rkt
index a0c3b7c2b9..a27bed9add 100644
--- a/collects/planet/resolver.rkt
+++ b/collects/planet/resolver.rkt
@@ -586,7 +586,8 @@ subdirectory.
                        [rud (dynamic-require 'setup/plt-single-installer
                                              'reindex-user-documentation)]
                        [msfh (dynamic-require 'compiler/cm 'manager-skip-file-handler)])
-                   (parameterize ([msfh (manager-skip-file-handler)])
+                   (parameterize ([msfh (manager-skip-file-handler)]
+                                  [use-compiled-file-paths (list (string->path "compiled"))])
                      (ipp path the-dir (list owner pkg-name
                                              extra-path maj min))
                      (unless was-nested?