Add correction to tools/Makefile