update tools/Makefile.eddit