[mkgmap-dev] Re: [PATCH] correction of SizeFilter