minor changes to dist-files