--- rpl/Makefile.am	2017/10/11 16:15:54	1.85
+++ rpl/Makefile.am	2018/01/08 21:48:40	1.86
@@ -34,7 +34,7 @@ purge:
 		rm -rf $(srcdir)/tools/$$i; \
 		rm -rf $(top_builddir)/tools/$$i; \
 	done;
-	for i in @GMP@ @MPFR@ @NTL@ @COCOA@ @PARI@ @GIAC@ @FLTK@; \
+	for i in @GMP@ @MPFR@ @MPFI@ @NTL@ @COCOA@ @PARI@ @GIAC@ @FLTK@; \
 	do \
 		if [ -d $(srcdir)/rplcas/$$i ]; then \
 			rm -rf $(srcdir)/rplcas/$$i; \