These problems have been addressed in the GMP repository. http://gmplib.org/repo-usage.html -- Torbjörn