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