[mkgmap-dev] Commit r4758: merge fix for IsInUtil from faster-mp branch