Manpages of libcxxtools-dev in Debian wheezy