Delete cyanogenmod_crater_defconfig~