 	     (sleep-for 5)
 	     (while (inferior-lisp-running-p`)
 	       (sleep-for 2))
-	     (run-lisp-application)
+	     (run-plain-lisp)
 	     (simulate-input-expression "(load \"load.lisp\")")
 	     (simulate-input-expression "(Bootstrap-Spec::compileAll)")))))
 

(defun bootstrap-specware4 (in-current-dir?)
  (interactive "P")
  (let ((root-dir (if in-current-dir? default-directory
		    (concat (getenv "SPECWARE4") "/"))))
    (run-specware4 root-dir)
    (sleep-for 2)
    (sw:eval-in-lisp (format "(top-level::do-command :cd %S)" root-dir))

		       (if (stringp in-current-dir?)
			   in-current-dir?
			 default-directory)
		     (concat (getenv "SPECWARE4"))))
	 (bin-dir (concat root-dir
			  "/Applications/Specware/bin/"
			  (if (memq system-type '(ms-dos windows-nt windows-95
						  ms-windows))
			      "windows"
