added sem_destroy