Re: [mkgmap-dev] EU map too big?