                                                      in-current-dir?
                                                      (not regenerating?))
                     "")))
-             (specware-build-command "(progn (cl:time (cl-user::boot)) %S %s (cl-user::quit))" 
+             (specware-build-command "(progn (cl:time (cl-user::boot)) %S %s (cl-user::finish-output t) (cl-user::quit))" 
 				     print-progress-message
 				     callback-to-emacs))))))
 

                                    specware4-loader specware-executable)))
      (if secondTime?
          (message "Failed to build Specware!")
        (specware-build-command "(progn (cl:load %S) %s (quit))"
                                specware4-loader
                                (specware-build-eval-emacs-str "(specware-build %s t '%s)"
                                                               in-current-dir?

      (eval-in-lisp-in-order cmd))
    (sit-for 4)
    (dotimes (i 10)
      (sit-for 4)
      (when (file-exists-p base-world-name)
	(return nil)))
    (sw:exit-lisp)
    (sit-for 4))
  (cond ((null base-world-name)
	 (run-plain-lisp 1))
	(t
	 (sit-for 4)
	 (run-lisp-application (getenv "LISP_EXECUTABLE") base-world-name)))
  (sit-for 4)
  (eval-in-lisp-in-order
   (format "(cl:load %S)"
	   (concat *specware4-dir "/Applications/Handwritten/Lisp/load-utilities." *fasl-extension*)))
  (sit-for 4)
  (eval-in-lisp-in-order (format "(Specware::setenv \"SWPATH\" %S)"
				    (concat (sw::normalize-filename *specware4-dir)
					    (if *windows-system-p* ";" ":")
