Added a note about GMP library