[PATCH] Switch to more standard debuginfo generation