Mutex used on all OSs