deleted files that should not be on github