Supporting multiple machines in GNOME using VNC