I believe that verify_ssh_host_key() should now be passed a real front-end