A private copy of FFMPEG used in PPSSPP.