Re: [mkgmap-dev] mkgmap option product-version and gmapsupp format