That was my feeling as well. I have a line in my howto.txt that
explains how to do this to ensure mingw32 is used. I think Simon is
trying to reduce the amount of per-system setup that needs to be done
before the coverage.py tree can be used for development, which is a
great goal, but this does feel to me like something that shouldn't be
hard-coded into the coverage.py source.
--Ned.