* debian packaging update