also build our other utility progs (#4617)