"make update" (added to top Makefile, and applied).