Fixing the encoding of .gitignore