diff --git a/racket/src/cs/c/embed-boot.rkt b/racket/src/cs/c/embed-boot.rkt
index 196fe0a102..08afc002e4 100644
--- a/racket/src/cs/c/embed-boot.rkt
+++ b/racket/src/cs/c/embed-boot.rkt
@@ -134,4 +134,6 @@
 	  (copy-file (car alt) (cdr alt) #t)
 	  (write-offsets (cdr alt)))])
 
+   (file-or-directory-permissions dest-file (file-or-directory-permissions use-src-file 'bits))
+
    (clean-src)))