Re: [GiNaC-devel] make check failed