Porting GiNaC