Fix EXTRA_DIST in Makefiles.