Manpages of haxml in Debian wheezy