Minor fix for win32 mutex