Manpages of openipmi in Debian wheezy