Also remove from EXTRA_DIST