Added GMP with GCC-4.8.2 for Clang