posix: add semaphore header