fix missing files in dist and other small Makefile.am issues
Authored by: Jean-Francois Dockes 2018-12-04
Parent(s): [ff5c98]
Child(ren): [504705]
