#11963: fix Windows buildbots.