Change name of defconfig