NaCl: On Linux, kill the child process when its parent dies