Consistent makefile progress report

I did this patch because I often mistakenly thought that there was something wrong with `libsrc/Makefile`.  One of the file-names in the chain of files that are built for drivers was echoed twice; so, I thought that a file was being built twice.