More fixes for the ELF loader in get_libs()