DEFCONFIG: add back back some debugging