uglify kill_pid_info() to fix kill() vs exec() race