Add gmp library headers