This is a copy of the ffmpeg github repository