vncserver for non-gnome desktops