Am 07.01.2012 20:01, schrieb Nabil Alsharif: > Ahh your main issue is that --prefix should be /usr not /usr/lib.... > It would be best to reinstall libgmp with the correct prefix. Oh, thanks, I will try this.