deleted stuff that I forgot to delete, and .gitignore ignores the target directory