Delete semaphore.h