Re: [mkgmap-dev] A bug?