[mkgmap-dev] [PATCH] Splitter area rounding seems wrong