Quick fix for ssh_login_pubkey

Fixes #3772, closes #3774.