[mkgmap-dev] Commit r3875: decrease peak memory and improve speed for global index creation