Add missing files to be included in the 'make dist' sources.