Add missing EXTRA_DIST files