src/Pure/System/components.scala

   class Directory private(val path: Path, val ssh: SSH.System = SSH.Local) {
     override def toString: String = path.toString + ssh.print
 
     def etc: Path = path + Path.basic("etc")
     def src: Path = path + Path.basic("src")
+    def bin: Path = path + Path.basic("bin")
     def lib: Path = path + Path.basic("lib")
     def settings: Path = etc + Path.basic("settings")
     def components: Path = etc + Path.basic("components")
     def build_props: Path = etc + Path.basic("build.props")
     def README: Path = path + Path.basic("README")