[mkgmap-dev] more refined mkgmap:skipSizeFilter=true handling