Fix path names in .gitignore.