Re: #6346: Don't include 32-bit krb5-server{, -ldap} in 64-bit trees