Hmm... I see now that git add . is not sufficient to delete files