don't redirect user-known-hosts-file to /dev/null