Fix segmentation fault in opentv_read_summaries