Debian packaging for gpshell