Re: [mkgmap-dev] [Patch] Spurious dead main thread