_signal_handler() now prints the signal name rather than just the number