Following from #1036: if a command is removed, but was built from a previous version, it will still be in the bin/ folder, and presumably in the PATH, after a standard git pull && ./build, leading to potential issues with users not noticing important changes.