diff -r 042617a1c86c -r fc76b7b79ba9 lib/Tools/unsymbolize
--- a/lib/Tools/unsymbolize	Tue Apr 08 15:47:05 2008 +0200
+++ b/lib/Tools/unsymbolize	Tue Apr 08 15:47:10 2008 +0200
@@ -34,8 +34,5 @@
 
 ## main
 
-#set by configure
-AUTO_PERL=perl
-
 find $SPECS \( -name \*.ML -o -name \*.thy \) -print | \
-  xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/unsymbolize.pl"
+  xargs perl -w "$ISABELLE_HOME/lib/scripts/unsymbolize.pl"