Re: [mkgmap-dev] Problems with options