* debian packaging updates