mainly fix virtual destrution
del Semaphore.h