Re: [GiNaC-list] amd64 - test failed