Fixing the rest of the "EXTRA_DIST" bug per e-mail from Sylvain dated Feb 5, 2012...