--- rpl/rplcas/Makefile.in	2022/06/15 06:45:42	1.66
+++ rpl/rplcas/Makefile.in	2022/08/25 09:01:36	1.67
@@ -166,8 +166,8 @@ lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
 	(cd @GIAC@/src && \
 			mv -f config.h config.h.orig && \
 			sed -e 's/#define HAVE_LIBPNG 1//' config.h.orig | \
-			sed -e 's/\/\* #undef HAVE_LIBGMP \*\//#define HAVE_LIBMP/' | \
-			sed -e 's/\/\* #undef HAVE_LIBGMPXX \*\//#define HAVE_LIBMPXX/' | \
+			sed -e 's/\/\* #undef HAVE_LIBGMP \*\//#define HAVE_LIBGMP/' | \
+			sed -e 's/\/\* #undef HAVE_LIBGMPXX \*\//#define HAVE_LIBGMPXX/' | \
 			sed -e 's/\/\* #undef HAVE_LIBMPFR \*\//#define HAVE_LIBPFR/' | \
 			sed -e 's/\/\* #undef HAVE_LIBMPFI \*\//#define HAVE_LIBPFI/' | \
 			sed -e 's/\/\* #undef HAVE_LIBNTL \*\//#define HAVE_LIBNTL/' | \