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