Fix the build on Microsoft Windows.