fix for the Windows build trouble