Fix EXTRA_DIST