EXTRA_DIST = maps.xml external_tools.xml goto_tools.xml