Make git-add behave more sensibly in a case-insensitive environment