Remove a needless file in EXTRA_DIST