Need to do "git-update-index --refresh" in more places