A hack to find FFMPEG on Fedora 17.