include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages;
patch cygwin in makedist_bundles instead of makedist_cygwin, to avoid frequent repackaging of the same;
#!/bin/dash
PATH=/bin
FILE_LIST="$(mktemp)"
CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
for DIR in "$CONTRIB/polyml-5.5.0"
do
find "$DIR" -name "*.dll" >> "$FILE_LIST"
done
dash /bin/rebaseall -T "$FILE_LIST"
rm -f "$FILE_LIST"