[arch-dev-public] use of private symbol in krb5