--- ./runtime/tools/shtags.pl.tv	2003-05-12 12:24:35.000000000 +0200
+++ ./runtime/tools/shtags.pl	2003-05-12 12:24:52.000000000 +0200
@@ -45,7 +45,7 @@
 # initialisations
 #
 ($program = $0) =~ s,.*/,,;
-require 'getopts.pl';
+do 'getopts.pl';
 
 #
 # parse command line