Update Semaphore.h