etc/build.props

--- a/etc/build.props	Mon Dec 16 13:55:26 2024 +0100
+++ b/etc/build.props	Mon Dec 16 19:09:14 2024 +0100
@@ -47,6 +47,7 @@
   src/Pure/Admin/component_vampire.scala \
   src/Pure/Admin/component_verit.scala \
   src/Pure/Admin/component_windows_app.scala \
+  src/Pure/Admin/component_xz.scala \
   src/Pure/Admin/component_zipperposition.scala \
   src/Pure/Admin/component_zstd.scala \
   src/Pure/Admin/isabelle_cronjob.scala \