Fix compilation error on Windows.