FFmpeg non-NEON binary