Make git-addremove insensitive to missing files