delete .elc files unconditionally -- they cause too many incompatibilities;

--- a/Admin/makebundle	Sun Jan 30 18:36:35 2011 +0100
+++ b/Admin/makebundle	Sun Jan 30 20:47:26 2011 +0100
@@ -69,13 +69,12 @@
 tar -C "$TMP" -x -z -f "$HEAPS_ARCHIVE"
 
 
+(
+  cd "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
+  find . -name "*.elc" -exec rm {} ";"
+)
+
 case "$PLATFORM" in
-  x86-linux)
-    (
-      cd "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
-      find . -name "*.elc" -exec rm {} ";"
-    )
-    ;;
   x86-cygwin)
     rm "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
     ln -s ProofGeneral-3.7.1.1 "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"