update install file
Merge branch 'debian'