Re: [GiNaC-devel] MinGW64 compilation fix