Re: Do we really need avidemux-devel?