Additional improvement towards 'make dist'

Not quite there yet, but closer when comparing github copy to dist copy.