Fix Windows build problem.