make gki_index_scan_filter rep_117 compatible