Bug#9820 kill by ignored signal