Issue #8271: Fix compilation on Windows
1 file changed