This was probably a mistake with mpdecimate. The decimate filter doesn't depend on avcodec.
Attach a file by drag & drop or click to upload