update debian packaging

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