I don't even know what these files are, but I guess it's harmless?