builder: Fix missing files in EXTRA_DIST.

This fixes commit a4800e2d4fc50f372a8b626333c4fbb9b8ca9633.