Deletion of files.cpp in kernels