ffmpeg: version bumped to 2.5.2.