Re: [GiNaC-list] small portability fix