change from 64 to 32 bits ffmpeg