I don't have time to work on this, but it would be really nice if krb5 installed pkg-config and if its pkg-config name was different than heimdal.