 ;; generate-application, then typically, there will not be an ACL image file.
 
   (setq sw:common-lisp-image-name (getenv "LISP_EXECUTABLE"))
-  (setq sw:common-lisp-image-file (getenv "LISP_HEAP_IMAGE"))
+  (setq sw:common-lisp-image-file (or sw:common-lisp-image-file (getenv "LISP_HEAP_IMAGE")))
   (setq sw:common-lisp-image-arguments
     (if *windows-system-p* '("+cn") nil))
 

  (let ((log-warning-minimum-level 'error))
    (sw:common-lisp sw:common-lisp-buffer-name
		    sw:common-lisp-directory
		    sw:common-lisp-image-name)
    (when sleep (sleep-for sleep))))

(defvar *specware-auto-start* t

	 (lisp-dir (concat specware4-dir "/Applications/Specware/lisp"))
	 (slash-dir (sw::normalize-filename "/"))
	 (world-name (concat bin-dir "/Specware4." *lisp-image-extension*))
	 (base-world-name
	   (if (eq *specware-lisp* 'allegro)
	       (concat bin-dir "/big-alisp." *lisp-image-extension*)
	     nil))
	 (specware4-lisp (concat lisp-dir "/Specware4.lisp"))
	 (specware4-base-lisp (concat specware4-dir "/Applications/Specware/Specware4-base.lisp")))
    (run-plain-lisp 1)
