let get_tool t tool = match t.toolkit tool with | Some s -> s | None -> failwithf "Machine %S cannot provide the tool %s" t.name (Tool.Definition.to_string tool)