It's called from avcodec_register() anyway, so there's no reason for it
to be public.