Merge "add missing dist files ignored by .gitignore"