Possibility to remove ssh host key from known hosts file