--- rpl/rplcas/Makefile.in	2015/11/09 16:48:09	1.44
+++ rpl/rplcas/Makefile.in	2015/11/10 11:12:26	1.45
@@ -200,6 +200,9 @@ lib/librplcas.a: lib/@LIB_PREFIX@giac.a
 		lib/@LIB_PREFIX@mpfr.a lib/ntl.a lib/libcocoa.a lib/libpari.a \
 		lib/@LIB_PREFIX@mpfi.a
 	if [ ! -d tmp ]; then mkdir tmp; fi
+	for i in `ar t lib/@LIB_PREFIX@giac.a | grep a$$`; \
+	do ar d lib/@LIB_PREFIX@giac.a $$i; \
+	done
 	@(cd tmp && n=0 && \
 			rm -f * && \
 			echo Building standalone librplcas.a; \
@@ -245,7 +248,7 @@ lib/librplcas.a: lib/@LIB_PREFIX@giac.a
 			if [ @OS@ != OS2 -a @OS@ != Darwin ]; then \
 				echo Stripping librplcas.a && strip -d ../lib/librplcas.a; \
 			fi;)
-	rm -rf tmp
+	rmdir tmp
 
 install: