Build: makefiles: make sure all files that should be distributed are

... so the result of "make dist" has everything needed to build,
and everything of interest to end users