--- make-ssh-known-hosts.pl.in.orig	Wed Jul  8 09:40:08 1998
+++ make-ssh-known-hosts.pl.in	Sun Jul 12 17:48:10 1998
@@ -98,7 +98,7 @@
 $debug = 5;
 $defserver = '';
 $bell='\a';
-$public_key = '/etc/ssh_host_key.pub';
+$public_key = '@ETCDIR@/ssh_host_key.pub';
 $private_ssh_known_hosts = "/tmp/ssh_known_hosts$$";
 $timeout = 60;
 $ping_timeout = 3;