etc/build.props

--- a/etc/build.props	Thu Mar 02 13:26:46 2023 +0100
+++ b/etc/build.props	Thu Mar 02 14:22:17 2023 +0100
@@ -152,6 +152,7 @@
   src/Pure/System/components.scala \
   src/Pure/System/executable.scala \
   src/Pure/System/getopts.scala \
+  src/Pure/System/host.scala \
   src/Pure/System/isabelle_charset.scala \
   src/Pure/System/isabelle_fonts.scala \
   src/Pure/System/isabelle_platform.scala \