[mkgmap-dev] options update