Many thanks for taking on this task.
as I wrote you Vincent personally some time ago, I'm the second who thanks, too ;)
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?