fix EXTRA_DIST