delete files which I forgot to delete in the previous commit (to rename)