Fix "make dist" by adding forgotten files to sources lists.