Re: [mkgmap-dev] diagnostic patch