Re: [mkgmap-dev] style options vs. command line options