--- rpl/configure.ac	2019/10/25 20:17:06	1.244
+++ rpl/configure.ac	2019/10/25 20:18:31	1.245
@@ -24,7 +24,7 @@ ZLIB=zlib-1.2.11
 
 GMP=gmp-6.1.2
 MPFR=mpfr-4.0.2
-MPFI=mpfi-1.5.3
+MPFI=mpfi-1.5.4
 NTL=ntl-11.0.0
 COCOA=CoCoALib-0.99600
 PARI=pari-2.9.5