On Mon, Jan 18, 2016 at 9:28 AM, Rafael EspĂndola <rafael.espindola at gmail.com> wrote: > What is DT_EXTRANUM? it has the same value as DT_PLTGOT. > Uh, that wasn't supposed to be there. r258089. Thanks for your review! -- Davide