Index: Makefile.inc1 =================================================================== --- Makefile.inc1 +++ Makefile.inc1 @@ -1366,6 +1366,9 @@ libs=$$(ldd -f "%o %p\n" -f "%o %p\n" $$progs 2>/dev/null | sort -u | \ while read line; do \ set -- $$line; \ + if [ "$$1" = "[preloaded]" || "$$1" = "[vdso]" ]; then \ + continue; \ + fi; \ if [ "$$2 $$3" != "not found" ]; then \ echo $$2; \ else \