Re: [mkgmap-dev] mkgmap-faster-mp (follow up)