Working on the Debian packaging