Fix for Windows build failure.