git: don't ignore filename case