fix installing issue on debian
Merge branch 'debian'