         (specware-build in-current-dir? nil 'boot)
       (progn (specware-build-command "%S --dynamic-space-size %S" specware-executable *sbcl-size*) 
              (sit-for 0.5)
-             (specware-build-command "(progn (cl:time (cl-user::boot)) %s (cl-user::finish-output t) (cl-user::quit))"
+             (specware-build-command "(progn (cl:time (cl-user::boot)) %s (cl-user::finish-output t) (sb-ext:exit))"
                                      (specware-build-eval-emacs-str "(specware-build %s nil t)"
                                                                     in-current-dir?))))))
 

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

;		*sentinel-data*))
    (when sw-proc
      (set-process-sentinel sw-proc 'continue-emacs-computation)))
  (simulate-input-expression (exit-form))
  )

(defun exit-form ()
  (if (eq lisp-emacs-interface-type 'slime)
