Debian packaging for pk