[mkgmap-dev] Proposed change to splitter to make tile names unique