     (unless (inferior-lisp-running-p)
       (sleep-for 1))
     (sw:eval-in-lisp (format "(setf (sys:getenv \"SWPATH\") %S)"
-			     (concat root-dir ":/")))
+			     (concat (replace-backslash-by-slash root-dir) ":/")))
     (sw:eval-in-lisp (format "(setf (sys:getenv \"SPECWARE4\") %S)" root-dir))
     (sw:eval-in-lisp (format "(top-level::do-command :cd %S)" dir))
     (sw:eval-in-lisp "(load \"Specware4.lisp\")")

		    )
    (when in-current-dir?
      (sw:eval-in-lisp (format "(setf (sys:getenv \"SWPATH\") %S)"
			       (concat root-dir ":/")))
      (sw:eval-in-lisp (format "(setf (sys:getenv \"SPECWARE4\") %S)" root-dir)))
    ))


	 (world-name (concat bin-dir "/Specware4.dxl")))
    (run-plain-lisp)
    (sw:eval-in-lisp (format "(setf (sys:getenv \"SWPATH\") %S)"
			     (concat (replace-backslash-by-slash root-dir) ":/")))
    (sw:eval-in-lisp (format "(setf (sys:getenv \"SPECWARE4\") %S)" root-dir))
    (sw:eval-in-lisp (format "(top-level::do-command :cd %S)" dir))
    (sw:eval-in-lisp "(load \"Specware4.lisp\")")
