Fix broken EXTRA_DIST