minor "make dist" fixes