Completed Debian packaging