Symbol: krb5_verify_opt_set_secure