update debian packaging

I was not able to test this as current HEAD (6dd57d3) does not build.