Add EXTRA_DIST for additional files to be distributed.