fix debian package runtime dependency
Merge branch 'devel' into cleanup