#11963: fix Windows buildbots.
1 file changed