ffmpeg: look for encoding options in both avcodec and avformat