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