read_index_from(): catch out of order entries when reading an index file