Depend on krb5-libs, not krb5