While we're at it, these files should be ignored in .gitignore and not checked into the repo.