Hi, where is the best place to report bugs? e.g. make raises the error: /usr/bin/ld: cannot find -lgmp I think the problem is ./configure in generic unix tarball doesn't check gmp -- LC, ("There is no Dana, only Zuul." - Cazafantasmas [1984])