              program
 	     (apply 'concat (loop for arg in program-args append (list " " arg)))
 	     (if (boundp '*specware4-dir)
-		 *specware4-dir
+		 (symbol-value '*specware4-dir)
 	       (getenv "SPECWARE4"))
 	     ;slime-port
 	     ))

  (when specware-use-x-symbol
    (x-symbol-mode))
  (setq slime-words-of-encouragement
	'("Welcome to Specware!")))

(add-hook 'specware-listener-mode-hook
	  'specware-listener-mode-init)

      (setq header-line-format banner))
    (when animantep
      (pop-to-buffer (current-buffer))
      (funcall 'animate-string
	       (format "; SLIME %s" (or (slime-changelog-date) 
					"- ChangeLog file not found"))
	       0 0))
    (slime-repl-insert-prompt (cond (use-header-p `(:suppress-output))
                                    (t `(:values (,(concat "; " banner))))))))

