#2916 Changes to debian packaging