web/olddownload: add FFmpeg 1.1.12