Re: [PATCHv2] Switch to more standard debuginfo generation