`done` could be released multiple times because of concurrent
execution.  We convert it to an Event, where calling set()
multiple times is not a problem.