semaphore: include linux header in Bakge.h