Makefile: Gather statistics and report them.