Manpages of vnc4server in Debian wheezy