Cape Manager question- What installs config-pin command?

I’ve successfully ran Robert Nelson’s scripts ( which compile a kernel image, u-boot, installed root file system etc. and installed on microSD card.
It boots perfectly, I can use the serial device or SSH into a Beagleboard Green and all looks good.

I cloned the into the Debian home directory, and ran the dtc-overlay and install scripts.
It appeared that all ran good and no errors.

However, I can’t locate the config-pin executable. One another machine using a pre-build image, it is located in /usr/local/bin.

I must be missing a step which installs config-pin.

Also, I ran
zcat /proc/config.gz | grep CONFIG_BONE_CAPEMGR


What am I missing here?