+mpfr pma nls readline verify-sig