diff -r 7c7a59b76528 -r ac07f6be27ea bin/isabelle_java
--- a/bin/isabelle_java	Sun May 16 19:37:15 2021 +0200
+++ b/bin/isabelle_java	Mon May 17 13:57:19 2021 +1000
@@ -4,6 +4,8 @@
 #
 # Isabelle/Java cold start -- without settings environment
 
+unset CDPATH
+
 if [ -L "$0" ]; then
   TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
   exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"