     (prepare-specware-build-buffer "*Compile Specware lisp files*" build-dir)
 
     (progn (message "Compiling Specware lisp files, by loading %s" specware4-loader)
-           (sit-for 1))
+           (sit-for 4))
 
     ;; start lisp
     (specware-build-command "sbcl --dynamic-space-size %S" *sbcl-size*) ; Generalize later
-    (sit-for 2)
+    (sit-for 4)
 
     ;; load utilities
     (specware-build-command "(cl:load %S)" (concat *specware4-dir "/Applications/Handwritten/Lisp/exit-on-errors"))

    (prepare-specware-build-buffer *specware-build-buffer-name* build-dir)

    (specware-build-command "sbcl --dynamic-space-size %S" *sbcl-size*) ; Generalize later
    (sit-for 2)
    (specware-build-command "(cl:load %S)"
                            (concat *specware4-dir "/Applications/Handwritten/Lisp/exit-on-errors"))
    (if (and (file-exists-p specware4-lisp-binary)

                                              in-current-dir? 
                                              also-regenerate?)
             "")))
      (specware-build-command "(progn (cl:load %S) %S %s (terpri) (cl-user::finish-output t) (cl-user::quit))" 
                              specware4-loader 
			      print-progress-message
                              callback-to-emacs))))
