Windows: trying to find out what is going wrong with our Python coverage tests.Indeed, they regularly fail on our CI Windows machine...!?