Re: [mkgmap-dev] [Patch v1] now option handle-element-version for splitter