_PATH_SSH_USER_HOSTFILE
options.ignore_user_known_hosts ? NULL : _PATH_SSH_USER_HOSTFILE);
user_hostfiles[0], _PATH_SSH_USER_HOSTFILE) == 0)))
xstrdup(_PATH_SSH_USER_HOSTFILE);
stringlist_append(&hostkey_files, _PATH_SSH_USER_HOSTFILE);
cp = tilde_expand_filename(_PATH_SSH_USER_HOSTFILE, pw->pw_uid);