FFmpeg binaries optimized for JAVI.