Use FFmpeg 2.5