small cleanup for tools/Makefile