Re: [PATCHv3] Update debuginfo generation