Hi, In the page: http://gmplib.org/manual/Headers-and-Libraries.html the link to "GNU Libtool" is wrong. Have a nice week-end, -- Julien ÉLIE « La raison du plus fou est toujours la meilleure. » (Raymond Devos)