d109665f1d
makes a longjmp out of a signal handler. Also add missing si_code argument to debugging printf in pthread__kill().