[PATCH v2] mpfr: update to 3.1.6