diff --git a/collects/slatex/pdf-slatex-launcher.ss b/collects/slatex/pdf-slatex-launcher.ss
index f10e44f512..30b7464018 100644
--- a/collects/slatex/pdf-slatex-launcher.ss
+++ b/collects/slatex/pdf-slatex-launcher.ss
@@ -5,6 +5,8 @@
 
   (define argv (current-command-line-arguments))
   
+  (define no-latex (make-parameter #f))
+  
   (case (system-type)
     [(macos)