Debian packaging of the GUI