Edit File: pthread_mutex_destroy.3.gz