Re: [mkgmap-dev] No index files written with certain options