Summary tweaks. And make -> $(MAKE) within Makefile.in