Re: [mkgmap-dev] [Patch v9] splitter optimization