Small fix for tools/Makefile