More files in EXTRA_DIST