Manpages of haveged in Debian wheezy-backports