Re: [mkgmap-dev] reducing output map size