[mkgmap-dev] [PATCH v3] sea polygons