This is omitted by .gitignore now, cleaning it up.