Debian 7: use GNOME as default, fixed integrity check syntax