Re: [mkgmap-dev] [PATCH v5] Precompiled sea