git-add -u: do not barf on type changes