Fix EXTRA_DIST so that make dist-gzip works