Debian packaging updated