sintonia/tools/Makefile