ffmpeg-full-extra: update to upstream 2.4.2; make changes in accordance with mainline 'ffmpeg' package