Re: [PATCH] new debuginfo install