src/Pure/System/components.scala

     ssh: SSH.System = SSH.Local,
     progress: Progress = new Progress
   ): Unit = {
     ssh.make_directory(base_dir)
     val archive_name = Archive(name)
-    val archive = base_dir + Path.explode(archive_name)
+    val archive = base_dir + Path.basic(archive_name)
     if (!ssh.is_file(archive)) {
       val remote = Url.append_path(component_repository, archive_name)
       ssh.download_file(remote, archive, progress = progress)
     }
     for (dir <- copy_dir) {