* Fix CriticalSection on linux