fix defconfig name