2 fixes for "make dist"

@sayantansur @jithinjosepkl Please review.  These two commits are necessary to fix "make dist", as noted in #219.
Shouldn't the header files just be part of the extra dist files?