Fix .gitignore that got hosed in repo split