deleting files not supposed to be in version control