Makefile: hide some more output