[GiNaC-devel] small clifford.cpp patch