krb5-user: setuid-binary
krb5-user: package-has-a-duplicate-relation
