Marc-Aurel Zent : server: Use __pthread_kill() syscall wrapper.