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