Add MIPS32 ffmpeg for Linux.