Now I found the culprit for these failing tests. I was starting the tests on the cygwin prompt with "./build.sh run-single-test" It seems that the tests were then done with the bootstrap directory, which was old. I removed my bootstrap directory, rebuilt everything, and now everything is fine. Yours
Antoine
