--- rpl/configure.ac	2018/05/29 14:03:01	1.219
+++ rpl/configure.ac	2018/05/29 14:21:09	1.221
@@ -194,7 +194,7 @@ if test "$enableval" = "no"; then
 	INCRPLCAS=
 else
 	RPLCAS=-DRPLCAS
-	LIBRPLCAS="\$\(top_builddir\)/rplcas/lib/librplcas.a -lcurl"
+	LIBRPLCAS="\$(top_builddir)/rplcas/lib/librplcas.a -lcurl"
 	INCRPLCAS="-I\$(top_builddir)/rplcas/include/giac \
 			-I\$(top_builddir)/rplcas/include"
 fi],[