Fix 'make dist'.   From Christoph Hellwig.
2 files changed