Properly named defconfig