Made a makefile show its progress consistently, by listing only the source file names.

That change avoids the confusion of seeing some names shown twice.
Merged branch "master" into make.
Merge pull request #61 from greg-king5/make

Consistent makefile progress report