bug(?): psi() Aborts

Hi, Notice that the following program #include <iostream> #include <ginac/ginac.h> using namespace std; using namespace GiNaC; int main() { numeric x("2"); cout << "psi("<<x<<")="<<psi(x) << endl; return 0; } just Aborts when running it (when replacing psi->sin, it runs fine). Does it happen to you? I am using ginac-1.0.0 (from a week old CVS) cln-1.1.3 gmp-3.1.1, gcc version 2.95.4 20011006 (Debian prerelease) on woody debian. Any ideas what is wrong with calling psi? Btw, when when running `make ginac.html' in tutorial, it just generates ginac directory but not the file ginac.html. Pearu