Add some missing files to EXTRA_DIST.