> Well, but your answer was much more detailed and complete :-) Yeah, completeness take time :-) > BTW, where is that handy getlibs utility from? Hm, just a small shell script I found eventually somewhere, can't remember... getlibs () { if [ -f "$1" ]; then objdump --all-headers "$1" | grep NEEDED | awk '{ print $2 }' fi } Was quickly copy-pasted in my .profile file. - Philippe