#12753: fix compilation on Windows.
1 file changed