On Sat, 6 Dec 2014, Cyd Haselton wrote: > Is this something to report to mpfr or gmp maintainers or here? You should first try a recent version of GMP. The one from download_prerequisites is older than Android... -- Marc Glisse