is now faulty (and correct) with SIGKILL handler