etc/build.props

--- a/etc/build.props	Sat Feb 17 15:00:46 2024 +0100
+++ b/etc/build.props	Sat Feb 17 15:04:53 2024 +0100
@@ -320,7 +320,7 @@
 services = \
   isabelle.Bash$Handler \
   isabelle.Bibtex$File_Format \
-  isabelle.Build$Default_Engine \
+  isabelle.Build$Engine$Default \
   isabelle.Build_Schedule$Build_Engine \
   isabelle.Document_Build$Build_Engine \
   isabelle.Document_Build$LIPIcs_LuaLaTeX_Engine \