Parameterize the UserKnownHostsFile /dev/null setting