diff --git a/collects/compiler/embed-sig.ss b/collects/compiler/embed-sig.ss index 16c593fe79..d6fd69d078 100644 --- a/collects/compiler/embed-sig.ss +++ b/collects/compiler/embed-sig.ss @@ -7,4 +7,5 @@ (make-embedding-executable write-module-bundle embedding-executable-is-directory? - embedding-executable-put-file-extension+style+filters))) + embedding-executable-put-file-extension+style+filters + embedding-executable-add-suffix))) diff --git a/collects/launcher/launcher-sig.ss b/collects/launcher/launcher-sig.ss index b126afe7c2..bd643a46bf 100644 --- a/collects/launcher/launcher-sig.ss +++ b/collects/launcher/launcher-sig.ss @@ -23,6 +23,9 @@ mred-launcher-is-directory? mzscheme-launcher-is-directory? + mred-launcher-add-suffix + mzscheme-launcher-add-suffix + mred-launcher-put-file-extension+style+filters mzscheme-launcher-put-file-extension+style+filters