--- a/lib/Tools/go	Tue Mar 26 20:58:01 2024 +0100
+++ b/lib/Tools/go	Tue Mar 26 21:04:43 2024 +0100
@@ -8,6 +8,6 @@
   echo "Missing Go installation: need to run \"isabelle go_setup\" first" >&2
   exit 2
 else
-  export GOROOT="$ISABELLE_GOROOT"
+  export GOROOT="$(platform_path "$ISABELLE_GOROOT")"
   exec "$ISABELLE_GOEXE/go" "$@"
 fi