Made Mutex opaque