[PATCH] Small modification to keep_ssh_host_keys snippet