Ah, it shouldn't really make a difference, since pdeathsig is supposed to be SIGKILL anyway, so you may be right.