Add missing file to `make dist'.