switch mutex for sock_utils to use pthread_mutex_t (instead of sem_t)