Minor change of def of EXTRA_DIST