Was used in Windows job only. Follow-up on !42 (merged).
Will hopefully fix sporadic Win CI failures.