Removed semaphore header, we don't use that anymore.