make git case-sensitive.