diff -r b8c0a45e3381 -r 9198e785d3d7 src/Pure/System/executable.scala
--- a/src/Pure/System/executable.scala	Sat Oct 14 15:09:20 2023 +0200
+++ b/src/Pure/System/executable.scala	Sat Oct 14 15:16:40 2023 +0200
@@ -51,7 +51,7 @@
 
       if (Platform.is_linux) {
         if (patchelf) {
-          // requires e.g. Ubuntu 16.04 LTS
+          // requires e.g. Ubuntu 18.04 LTS
           Isabelle_System.require_command("patchelf")
           Isabelle_System.bash("patchelf --force-rpath --set-rpath '$ORIGIN' " + File.bash_path(exe_path)).check
         }