* Add missing files in EXTRA_DIST