[mkgmap-dev] Commit r4669: fix error found in faster-mp branch, see r4665