Re: [mkgmap-dev] [Patch v3] reduce peak memory usage for global index