Warpedflash is probably better to answer but...
To test I had to reinstate the files, and didnt pay to much attention the order i renamed them BUT I DID NOT REBOOT UNTIL ALL HAD BEEN RENAMED.
However, i dont think you actually have to reinstate them, i only did to check that they were deleted
Warpedflash is best to confirm this though