Re: [mkgmap-dev] [Patch v1] change process-destination option