ffmpeg 64bit and 32bit