fixing git bug on case-insensitive filename