diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl
index 73a3809a1da..3e4f8f0adcd 100755
--- a/Doc/tools/node2label.pl
+++ b/Doc/tools/node2label.pl
@@ -1,4 +1,7 @@
-#!/depot/gnu/plat/bin/perl -i
+#! /usr/bin/env perl
+
+use English;
+$INPLACE_EDIT = '';
 
 # read the labels, then reverse the mappings
 require "labels.pl";