[PATCH] krb5: Fix dependencies of krb5-devel package