Re: [mkgmap-dev] New splitter version, big memory savings