Deleting unwanted files

These files made it to the repo, must be erased