Paolo, I've checked all available systems and wasn't able to repro this. Every time vDSO was already filtered with
if (!info->dlpi_name || info->dlpi_name[0] == 0)
return 0;
in FindFirstDSOCallback.
Could you provide additional details of your setup? Or perhaps print
dlpi_name of offending library?
-Y
