let witness_file bin =   fun ~host ~path ->     let p = KEDSL.single_file ~host (path // bin) in     object method is_done = p#is_done end