let witness_list l =   fun ~host ~path ->     KEDSL.list_of_files ~host (List.map l ~f:(fun bin -> path // bin))     |> fun p -> object method is_done = p#is_done end