updated XFCE in Debian 7 example