[PATCH] Install tools with "make install-tools".