Re: [mkgmap-dev] mistake in options?