[mkgmap-dev] Commit r4274: revert changes from r4273, not the right place to do this