some changes to allow GiNaC to cooperate with cint: