Switch to using krb5_config_get_list() instead of krb5_config_get()