Attempt to fix a .gitattributes problem