diff -r b67c9ed2c810 -r b30b8e23383c src/Pure/Admin/build_sqlite.scala
--- a/src/Pure/Admin/build_sqlite.scala	Sun Nov 13 21:59:19 2022 +0100
+++ b/src/Pure/Admin/build_sqlite.scala	Sun Nov 20 23:37:54 2022 +0100
@@ -25,22 +25,20 @@
 
     /* component */
 
-    val component_dir = Isabelle_System.new_directory(target_dir + Path.basic(download_name))
-    progress.echo("Component " + component_dir)
+    val component_dir =
+      Components.Directory.create(target_dir + Path.basic(download_name), progress = progress)
 
 
     /* README */
 
-    File.write(component_dir + Path.basic("README"),
+    File.write(component_dir.README,
       "This is " + download_name + " from\n" + download_url +
         "\n\n        Makarius\n        " + Date.Format.date(Date.now()) + "\n")
 
 
     /* settings */
 
-    val etc_dir = Isabelle_System.make_directory(component_dir + Path.basic("etc"))
-
-    File.write(etc_dir + Path.basic("settings"),
+    File.write(component_dir.settings,
 """# -*- shell-script -*- :mode=shellscript:
 
 ISABELLE_SQLITE_HOME="$COMPONENT"
@@ -51,7 +49,7 @@
 
     /* jar */
 
-    val jar = component_dir + Path.basic(download_name).ext("jar")
+    val jar = component_dir.path + Path.basic(download_name).ext("jar")
     Isabelle_System.download_file(download_url, jar, progress = progress)
 
     Isabelle_System.with_tmp_dir("build") { jar_dir =>
@@ -70,11 +68,11 @@
           "org/sqlite/native/Windows/x86_64/sqlitejdbc.dll" -> "x86_64-windows")
 
       for ((file, dir) <- jar_files) {
-        val target = Isabelle_System.make_directory(component_dir + Path.explode(dir))
+        val target = Isabelle_System.make_directory(component_dir.path + Path.explode(dir))
         Isabelle_System.copy_file(jar_dir + Path.explode(file), target)
       }
 
-      File.set_executable(component_dir + Path.explode("x86_64-windows/sqlitejdbc.dll"), true)
+      File.set_executable(component_dir.path + Path.explode("x86_64-windows/sqlitejdbc.dll"), true)
     }
   }