[Bug 479845] dxexec does not die on exit