Dummy implementation of pthread_mutex_destroy
Hacky implementation of more pthreads mutex stuff