ffmpeg: version bump to 2.3.1