Fix keeping symbols for hwloc plugins closed at shutdown

tools/dev/valgrind/valgrind.sh

@@ -30,4 +30,4 @@ else
 fi
 SUPPRESSIONS=$(for f in $(dirname $0)/*.suppr /usr/share/hwloc/hwloc-valgrind.supp; do if test -f $f ; then echo "--suppressions=$f" ; fi ; done)
 
-$RUN --num-callers=42 --error-limit=no --gen-suppressions=all $SUPPRESSIONS $*
+$RUN --keep-debuginfo=yes --num-callers=42 --error-limit=no --gen-suppressions=all $SUPPRESSIONS $*