Makefile: fix quoting of echo commands on "make install" ... oops.