avcodec: rename the AV1 profiles