[GiNaC-list] problem running ginac