more strict;

--- a/src/Pure/System/components.scala	Tue Jan 24 11:34:39 2023 +0100
+++ b/src/Pure/System/components.scala	Tue Jan 24 11:36:15 2023 +0100
@@ -74,7 +74,7 @@
   ): 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)