[wesnoth/f16] Fix tools.