kill-pgroup: ignore already gone children (#13)