Makefile: make -x optional to reduce verbosity