Fix wrong EXTRA_DIST statements