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