defconfig: little name change