[mkgmap-dev] [PATCH] cope with duplicate city names