small fixes on style and update mkgmap_options