On some systems, pthread_kill is actually in the "signals.h" header, so include it