I accidentally uploaded some files but with the wrong name. So I tried deleting them, but that didn't work when I tried to reupload them with the right names. Is there any way to circumvent this? Or should I slightly modify my files so they are no longer identical?