Re: [MacPorts] #40788: Avidemux: No codec for DIVX50?