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)