Admin/lib/Tools/makedist_bundle

       find . -type f -not -name '*.exe' -not -name '*.dll' -perm +100 \
         -print0 > "contrib/cygwin/isabelle/executables"
 
       find . -type l -exec echo "{}" ";" -exec readlink "{}" ";" \
         > "contrib/cygwin/isabelle/symlinks"
+      find . -type l -exec rm "{}" ";"
 
       touch "contrib/cygwin/isabelle/uninitialized"
     )
     ;;
   *)