Debian packaging updated.