add missing files
Merge branch 'debian'