Out of curiosity, why don't you just not store a host key for such systems? That's what we do: UserKnownHostsFile /dev/null Historically I would have been interested in such a thing, but I've long since given up.