tools/GNUmakefile