Makefile: "echo -e" does not work on Mac OS, replaced by printf