GiNaC porting status