Remove from EXTRA_DIST files we'd already be distributing