Hello, This is a newbie question for installation on 64-bit RedHat EL5. gmp 4.1.4 that comes with RHEL5 exists both in /usr/lib and /usr/lib64. I have compiled gmp5.0.4 and the installation defaults to /usr/local/lib. I am assuming that I need to build for both /usr/local/lib and /usr/local/lib64. How do I do that? Thank you, Mirko