Sergio:
Thanks. It turned out that I had a conflicting file from the Community Squeeze site, which I use for the community version of the Logitech Media Server -- the old Squeezebox Server -- for my networked music players. The file was their ffmpeg2-libs rpm (the file is here: http://www.communitysqueeze.org/repo/19/x86_64/ffmpeg2-libs-2.0.1-1.fc19.x86_64.rpm),