Re: FFmpeg 0.7.2 for F15 (and rawhide)