Re: [mkgmap-dev] map types on different devices