let get_exn t tool =       match t tool with       | Some s -> s       | None ->         failwithf "Toolkit cannot provide the tool %s"           (Definition.to_string tool)