--- rpl/rplcas/Makefile.in	2014/05/19 20:48:04	1.41
+++ rpl/rplcas/Makefile.in	2015/06/08 07:15:31	1.42
@@ -200,7 +200,7 @@ lib/librplcas.a: lib/@LIB_PREFIX@giac.a
 				done; \
 				if test -n "$$L"; then \
 					echo -n "Adding files to librplcas.a archive... "; \
-					ar cru ../lib/librplcas.a $$L; \
+					ar cr ../lib/librplcas.a $$L; \
 					rm -f $$L; \
 					echo "done"; \
 				fi; \