Symbol: krb5_config_vget_bool_default