semaphore: x11 header