Make sure the "krb5" does not have the /usr/share/info/dir, or it will clobber the "base" version on install.