diff -r 9c44fdd287a1 -r 316c67657fd3 Admin/makebundle
--- a/Admin/makebundle	Wed Apr 25 10:24:41 2012 +0200
+++ b/Admin/makebundle	Wed Apr 25 10:59:06 2012 +0200
@@ -75,6 +75,8 @@
   [ -e "$TAR" ] || fail "Missing $TAR"
   rm -f "$ISABELLE_HOME/Isabelle"
   tar -C "$ISABELLE_HOME" -xv -f "$TAR"
+
+  mv "$ISABELLE_HOME/contrib"/polyml* "$ISABELLE_HOME/contrib/cygwin-1.7.9/usr/local/"
 fi