krb_get_lrealm always returns ATHENA.MIT.EDU when using krb5.conf's [v4
realms] section (no krb.conf) and not using the Stanford "v4_realm" tag.

First reported by Cornell against KfM 5.0a7.