"make dist" can succeed. Duh. :-\ This commit was SVN r6351.
This commit was SVN r6345.
This commit was SVN r6266.