When you uninstall the Linux OS from a dual boot machine, do you have to manually delete the files stored in the ESP?