Hi, if you are under Linux most likely you need to install the "gmp-devel" package, since the default package only contains the library (libgmp.so). Paul Zimmermann