defconfig: Keep weird file extension