diff --git a/racket/collects/setup/setup-core.rkt b/racket/collects/setup/setup-core.rkt
old mode 100644
new mode 100755
index 79911df43f..4e063b5c5b
--- a/racket/collects/setup/setup-core.rkt
+++ b/racket/collects/setup/setup-core.rkt
@@ -521,11 +521,12 @@
               #:when (directory-exists? (build-path cp collection)))
           (cc! (list collection) #:path (build-path cp collection)))]
        [else ; must be a hash table that simulates a links file:
-        (for ([(coll-sym dir) (in-hash inst-links)])
+        (for* ([(coll-sym dir-list) (in-hash inst-links)]
+               [dir (in-list dir-list)])
           (cond
-           [coll-sym
-            ;; A single collection
-            (cc! (string-split "/" (symbol->string coll-sym)) #:path dir)]
+            [coll-sym
+             ;; A single collection
+             (cc! (map string->path (string-split (symbol->string coll-sym) "/")) #:path dir)]
            [(directory-exists? dir)
             ;; A directory that holds collections:
             (for ([collection (directory-list dir)]