Fix "make dist".

Fixes #4489