squash! e21bc32 correct fix of sem_destroy