Manpages of libhavege-dev in Debian jessie