diff -r 7c7a59b76528 -r ac07f6be27ea Admin/cronjob/main
--- a/Admin/cronjob/main	Sun May 16 19:37:15 2021 +0200
+++ b/Admin/cronjob/main	Mon May 17 13:57:19 2021 +1000
@@ -2,6 +2,7 @@
 #
 # DESCRIPTION: start the main Isabelle cronjob
 
+unset CDPATH
 THIS="$(cd "$(dirname "$0")"; pwd)"
 
 source "$HOME/.bashrc"