ffmpeg: Just a minor BUILD tweak.