Symbol: create_krb5_trustedCertifiers