avcodec/mpeg4videodec: update exported AVOptions in the user-facing context