Note: This commit is also including a patch fixing build issues that appeared with gmp 4.3.2. The patch is addressing the problem by adding "--tag=CC" to libtool calls for compiling and linking.