user's $VNC_OPTIONS overridden if VNC is Xtightvnc