Re: [mkgmap-dev] [PATCH V3]mkgmap performance