use correct type for signal handler