added some distrib files ignored because of .gitignore