add _krb5_plugin_run_f