Manpages of cvc3 in Debian wheezy