Don't call strsignal, just print the signal number.