Export krb5_set_trace_callback/filename