fix bug #85: implement vnc tickets