I've been using ffmpeg from dmo (http://deb-multimedia.org) for a long time without much hassle despite the handwavy claims about how bad they are according to https://wiki.debian.org/DebianMultimedia/FAQ