Added some files to EXTRA_DIST to fix "make dist".