Dear GiNaCers, I was silly enough to (among other files) modify function.cpp to make the new tinfo-system work on AMD64. This should, of course, have been function.pl. A patch is in CVS. Best, Chris