ignore some binary file in .globalgitignore