Update ffmpeg, should fix #2253 (at least the reference is not a tree error)