HowTo: use a different FFMPEG binary

Tags