Further debian packaging improvements.