Uses system provided libgmp if found, if not it falls back to mini-gmp. Conflicts: README.txt build/android/Makefile