--- libtool.orig	2011-04-11 19:12:54.000000000 +0200
+++ libtool	2011-04-11 19:13:11.000000000 +0200
@@ -7698,6 +7698,7 @@
 	  $ECHO "*** Warning: Linking the shared library $output against the non-libtool"
 	  $ECHO "*** objects $objs is not portable!"
 	  libobjs+=" $objs"
+	  libobjs_save+=" $objs"
 	fi
       fi