Makefile: don't hide what we're doing, user can use -s.