This change should be in gthread_mutex_destroy, as is an API discrepency.

``void gthread_mutex_destroy``  ->  ``int gthread_mutex_destroy``