update ffmpeg (n0.8-20097-g9f95e35 (except for mpeg12.c))