Added GMP dependency