Re: [mkgmap-dev] Precomp-sea (to DD8K)