fix a Windows build bug