CLN + GiNaC on MinGW