Fixed issue #1254: Adding file extensions to root .gitignore