One point is that you are still using mintlib 0.57.3, whereas I think it's upto 0.57.6 or even 0.57.7 now. Will you be updating that ??this is the exactly same question I asked him ;) I believe we're going to see gcc with up to date mintlib, right, Vincent?
I believe we're going to see the official up to date MiNTLib compatible with GCC 4.2.2. Then it will be packaged with my binaries 8-) !
Vincent