Adjusted av_get_encoders() and av_get_decoders() yet again