Re: [GiNaC-list] Ginac mingw build cannot go well