Changed implementation of uthread_mutex_destroy() to reflect Amanda's version with fewer pointers.