Fix debianization
Merge branch 'release' into develop