diff --git a/lib/master.pike b/lib/master.pike
index 00a47c5d171fd1fa4b8c221ea37d87727b511c65..fd18aece5d0755bbb177b4f744bf1902bcd8697a 100644
--- a/lib/master.pike
+++ b/lib/master.pike
@@ -1,4 +1,4 @@
-/* $Id: master.pike,v 1.54 1997/10/22 02:36:15 hubbe Exp $
+/* $Id: master.pike,v 1.55 1997/11/10 16:37:53 noring Exp $
  *
  * Master-file for Pike.
  */
@@ -539,7 +539,7 @@ void _main(string *argv, string *env)
       if(master_file_stat("/usr/local/bin/hilfe"))
 	argv[0]="/usr/local/bin/hilfe";
       else if(master_file_stat("../bin/hilfe"))
-	argv[0]="/usr/local/bin/hilfe";
+	argv[0]="../bin/hilfe";
       else
       {
 	werror("Couldn't find hilfe.\n");