[GiNaC-list] Ginac mingw build cannot go well