diff --git a/collects/setup/setup-unit.rkt b/collects/setup/setup-unit.rkt
index bd12555ece..5570d2707a 100644
--- a/collects/setup/setup-unit.rkt
+++ b/collects/setup/setup-unit.rkt
@@ -723,12 +723,11 @@
                                               (and (if (cc-root-dir cc)
                                                      (relative-path? p)
                                                      (complete-path? p))
-                                                   (file-exists?
-                                                    (build-path
-                                                     (if (cc-root-dir cc)
-                                                       (build-path (cc-root-dir cc) p)
-                                                       p)
-                                                     "info.rkt"))))))
+                                                   (let ([dir (if (cc-root-dir cc)
+                                                                  (build-path (cc-root-dir cc) p)
+                                                                  p)])
+                                                     (or (file-exists? (build-path dir "info.rkt"))
+                                                         (file-exists? (build-path dir "info.ss"))))))))
                                      a)
                                   (list (? symbol? b) ...)
                                   c