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