pthread_mutex_attr_t not being freed


pthread_mutex_t was initialized but pthread_mutex_attr_t was not being freed.

changed calls to use mutex_init() instead.