Admin/lib/Tools/makedist_bundle

--- a/Admin/lib/Tools/makedist_bundle	Sun Apr 12 12:07:52 2015 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Sun Apr 12 12:45:06 2015 +0200
@@ -264,10 +264,6 @@
 
       touch "contrib/cygwin/isabelle/uninitialized"
     )
-
-    perl -pi -e "s,/bin/rebaseall.*,/isabelle/rebaseall,g;" \
-      "$ISABELLE_TARGET/contrib/cygwin/etc/postinstall/autorebase.bat.done"
-
     ;;
   *)
     ;;