--- dumper-src/generic-dumper.pl.in	1999-04-17 17:58:03.000000000 +0200
+++ dumper-src/generic-dumper.pl.in.oden	2006-03-27 17:15:37.000000000 +0200
@@ -1,4 +1,5 @@
-
+#!@PERL@
+#
 
 $command = $ARGV[0];
 if ($command eq "privilege") {