src/Pure/System/components.scala

     def apply(path: Path, ssh: SSH.System = SSH.Local): Directory =
       new Directory(ssh.absolute_path(path), ssh)
   }
 
   class Directory private(val path: Path, val ssh: SSH.System = SSH.Local) {
-    override def toString: String = path.toString
+    override def toString: String = path.toString + ssh.print
 
     def etc: Path = path + Path.basic("etc")
     def src: Path = path + Path.basic("src")
     def lib: Path = path + Path.basic("lib")
     def settings: Path = etc + Path.basic("settings")

     def build_props: Path = etc + Path.basic("build.props")
     def README: Path = path + Path.basic("README")
     def LICENSE: Path = path + Path.basic("LICENSE")
 
     def create(progress: Progress = new Progress): Directory = {
-      progress.echo("Creating component directory " + path)
+      progress.echo("Creating component directory " + toString)
       ssh.new_directory(path)
       ssh.make_directory(etc)
       this
     }
 
     def ok: Boolean =
       ssh.is_file(settings) || ssh.is_file(components) || Sessions.is_session_dir(path, ssh = ssh)
 
     def check: Directory =
-      if (!ssh.is_dir(path)) error("Bad component directory: " + path)
+      if (!ssh.is_dir(path)) error("Bad component directory: " + toString)
       else if (!ok) {
-        error("Malformed component directory: " + path +
+        error("Malformed component directory: " + toString +
           "\n  (missing \"etc/settings\" or \"etc/components\" or \"ROOT\" or \"ROOTS\")")
       }
       else this
 
     def read_components(): List[String] =