[Bug 1131330] pthread_mutex_destroy occasionally returns EBUSY even though mutex is unlocked