ffmpeg: prefer "dec" over "ist->st->codec" in do_video_out() snippet