avcodec/agm: remove ;;