A few updates indicating the current name of the build system tree.
Hopefully I don't decide to change the name again.