Manpages of libhavege-dev in Debian wheezy-backports