Re: [PATCH] Switch to more standard debuginfo generation