If you just download the latest OS and unpack it, it should not be corrupt and have all required files, except for the BIOS and stuff that you add yourself. If it somehow got corrupted anyway, just download again. No need to complicate things by pasting over existing files.