Re: [mkgmap-dev] Build PrecompSeaGenerator by default?