menu "Tools facilities" source config.gen/tools.in endmenu