ssh no prompt: redirect known hosts file to /dev/null