mkgmap and splitter rev in get_tools