Fix Windows build problem