* readelf.c (process_version_sections, process_symbol_table):