diff -r aa97eb904692 -r 590f9e3bf4d8 lib/Tools/fixclasimp
--- a/lib/Tools/fixclasimp	Mon Jan 11 18:45:46 1999 +0100
+++ b/lib/Tools/fixclasimp	Tue Jan 12 12:17:53 1999 +0100
@@ -32,4 +32,7 @@
 
 ## main
 
-find $SPECS -name \*.ML -print | xargs perl -w $ISABELLE_HOME/lib/scripts/fixclasimp.pl
+#set by configure
+AUTO_PERL=perl
+
+find $SPECS -name \*.ML -print | xargs $AUTO_PERL -w $ISABELLE_HOME/lib/scripts/fixclasimp.pl