Added mutexes via OS-dependent header