the Makefiles. NB: this commit is probably going to generate a huge posting
and it is highly uninteresting to read.