configure, Makefile: Conditionally build tools