Added missing Semaphore import