Add new files to EXTRA_DIST