mutex header needed on linux