web/olddownload: add FFmpeg 0.5.15