diff -urN ProofGeneral-3.3/coq/coqtags ProofGeneral-3.3-new/coq/coqtags
--- ProofGeneral-3.3/coq/coqtags	2001-09-03 16:08:43 +0400
+++ ProofGeneral-3.3-new/coq/coqtags	2002-06-25 14:44:31 +0400
@@ -1,4 +1,4 @@
-#!/usr/local/bin/perl
+#!/usr/bin/perl
 #
 # Or perhaps: /usr/local/bin/perl
 #
diff -urN ProofGeneral-3.3/lego/legotags ProofGeneral-3.3-new/lego/legotags
--- ProofGeneral-3.3/lego/legotags	2001-09-03 16:11:51 +0400
+++ ProofGeneral-3.3-new/lego/legotags	2002-06-25 14:45:08 +0400
@@ -1,4 +1,4 @@
-#!/usr/local/bin/perl
+#!/usr/bin/perl
 #
 # Or perhaps: /usr/local/bin/perl
 #