Same fix as in previous commit (109d85a5569f6b423e5530a63849d2e695bffc83)

but specific to windows?