Don't use EXTRA_DIST unnecessarily

The dist_ prefix generally suffices