main/ffmpeg: upgrade to 2.5.1