[Bug 479845] New: dxexec does not die on exit