[mkgmap-dev] Using the "--remove-short-arcs" option