Linux: fix handling of zombie processes