Update EXTRA_DIST.