read_index(): fix reading extension size on BE 64-bit archs