Previously ignored by the top level .gitignore, because lib/ is a reserved directory name for python builds.