add mutex for semcount; change libs naming