Add gmp for linux