diff --git a/collects/launcher/launcher-sig.ss b/collects/launcher/launcher-sig.ss
index 3ead958040..b126afe7c2 100644
--- a/collects/launcher/launcher-sig.ss
+++ b/collects/launcher/launcher-sig.ss
@@ -20,6 +20,12 @@
      mred-launcher-up-to-date?
      mzscheme-launcher-up-to-date?
 
+     mred-launcher-is-directory?
+     mzscheme-launcher-is-directory?
+
+     mred-launcher-put-file-extension+style+filters
+     mzscheme-launcher-put-file-extension+style+filters
+
      build-aux-from-path
      current-launcher-variant
      available-mred-variants