Another tentative to correct compilation error on Windows.