Hi, 2011/4/12 misca misca <misca@hotmail.com>: > Thanks for the tip, it seems to be some sort of lock down from ubunutu, If you use ubuntu, why not install libmpfr4 from ubuntu archives? Instead mixing Debian and Ubuntu which it is not very good practice. Cheers