* yet another patch for ffmpeg: its configure script doesn't recognise that (at least on OSX) variables' names are case-sensitive