Manpages of xapian-tools in Debian wheezy