pthreads 0.1.0 and Thread::kill(). Needs fix