On Thu, May 13, 2021 at 9:07 AM Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx> wrote: > > [...] don't see why > your simple patch shouldn't work. I suppose it comes down to what we might find in other callers of zexit().