Fix semaphore interface