[GiNaC-devel] make check failed