Consider updating the Makefile and workflow files. There are some improvements you might benefit from.
Also, you should list /lib/ in .gitignore. I don't know how that change didn't end up being made, but the directory/link is constant pollution in any git status checks.