config_get needs a default value