diff --git a/make-launcher.rkt b/make-launcher.rkt
index 3b83a78..c77637b 100644
--- a/make-launcher.rkt
+++ b/make-launcher.rkt
@@ -378,7 +378,7 @@
                   (and m (cdr m)))))
     ;; Normal launcher:
     (make-embedding-executable
-     dest (eq? kind 'mred) #f null null null flags aux #t variant)
+      (string-append dest ".exe") (eq? kind 'mred) #f null null null flags aux #t variant)
     ;; Independent launcher (needed for Setup PLT):
     (begin
       (install-template dest kind "mzstart.exe" "mrstart.exe")