.gitignore: more generated files...