web/download: add FFmpeg 2.4.1