Using login.krb5 as /bin/login not officially supported, I don't
believe; keep open, but not high priority.  (Patch included, so assuming
no problems with the patch, it shouldn't be a difficult fix.)