remove apparently unused real_pict_num from AVCodecContext