Fix up the missing bits so that make dist works as expected.
Fix up some extra missing files discovered with dist-check.