[mkgmap-dev] Commit: r3419: fakeid.patch: echo improvements for elements with fake ids