EXTRA_DIST works to include headers in dist-gzip but the real way is to add to main_SOURCES apparently