Fix signature of signal handler