fix Windows build error