     (start-specware-build-buffer buffer-name))
 
   ;; kill any prior lisp accidentally running there...
-  (when (sbcl-running-in-build-buffer)
-    (specware-build-command "(cl-user::quit)"))
+  ;; (when (sbcl-running-in-build-buffer)
+  ;;   (specware-build-command "(sb-ext:exit)"))
   ;; connect to build directory
   (sit-for 1) ;; give shell time to start (sigh)
   (specware-build-cd-command 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)
